Börger, Egon: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Predicate calculus and program semantics: E.W. Dijkstra and C.S. Scholten, (Springer, Berlin, 1989)

Journal:

Science of Computer Programming

Year:

1994

Language:

english

File:

PDF, 975 KB

english, 1994

2

Java and the Java Virtual Machine ||

Stärk, Robert F., Schmid, Joachim, Börger, Egon

Year:

2001

Language:

english

File:

PDF, 27.41 MB

english, 2001

3

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || From semantics to rules: A machine assisted analysis

Börger, Egon, Gurevich, Yuri, Meinke, Karl

Year:

1994

Language:

english

File:

PDF, 792 KB

english, 1994

4

Modeling Companion for Software Practitioners ||

Börger, Egon, Raschke, Alexander

Year:

2018

Language:

english

File:

PDF, 4.66 MB

english, 2018

5

Abstract State Machines ||

Börger, Egon, Stärk, Robert

Year:

2003

Language:

english

File:

PDF, 4.55 MB

english, 2003

6

[Lecture Notes in Mathematics] Computation and Proof Theory Volume 1104 || Undecidability and recursive equivalence II

Börger, Egon, Oberschelp, Walter, Richter, Michael M., Schinzel, Brigitta, Thomas, Wolfgang

Year:

1984

Language:

english

File:

PDF, 842 KB

english, 1984

7

The equivalence of Horn and network complexity for Boolean functions

Stal O. Anderaa, Egon Börger

Journal:

Acta Informatica

Year:

1981

Language:

english

File:

PDF, 268 KB

english, 1981

8

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || Petri nets and the equivalence problem

Börger, Egon, Gurevich, Yuri, Meinke, Karl

Year:

1994

Language:

english

File:

PDF, 610 KB

english, 1994

9

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || Logical aspects of set constraints

Börger, Egon, Gurevich, Yuri, Meinke, Karl

Year:

1994

Language:

english

File:

PDF, 740 KB

english, 1994

10

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || A new approach to abstract data types II computation on ADTs as ordinary computation

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 870 KB

english, 1992

11

[Lecture Notes in Computer Science] Abstract State Machines, B and Z Volume 5238 ||

Börger, Egon, Butler, Michael, Bowen, Jonathan P., Boca, Paul

Year:

2008

Language:

english

File:

PDF, 7.30 MB

english, 2008

12

Concurrent abstract state machines

Börger, Egon, Schewe, Klaus-Dieter

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 561 KB

english, 2016

13

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || A primitive recursive set theory and AFA: On the logical complexity of the largest bisimulation

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 756 KB

english, 1992

14

[ACM Press the 7th International Conference - Kiel, Germany (2015.04.23-2015.04.24)] Proceedings of the 7th International Conference on Subject-Oriented Business Process Management - S-BPM ONE '15 - Abstract state machine nets

Börger, Egon, Fleischmann, Albert

Year:

2015

Language:

english

File:

PDF, 638 KB

english, 2015

15

[Lecture Notes in Mathematics] Computation and Proof Theory Volume 1104 || Generalized rules for quantifiers and the completeness of the intuitionistic operators &, ν, ⊃, λ, ∀, ε

Börger, Egon, Oberschelp, Walter, Richter, Michael M., Schinzel, Brigitta, Thomas, Wolfgang

Year:

1984

Language:

english

File:

PDF, 1.49 MB

english, 1984

16

Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL

Journal:

Software & Systems Modeling

Year:

2012

Language:

english

File:

PDF, 283 KB

english, 2012

17

Subject-Oriented Business Process Management || Subject-Oriented Monitoring of Processes

Fleischmann, Albert, Schmidt, Werner, Stary, Christian, Obermeier, Stefan, Börger, Egon

Year:

2012

Language:

english

File:

PDF, 1.65 MB

english, 2012

18

Subject-Oriented Business Process Management || Subject-Oriented Optimization of Processes

Fleischmann, Albert, Schmidt, Werner, Stary, Christian, Obermeier, Stefan, Börger, Egon

Year:

2012

Language:

english

File:

PDF, 1.01 MB

english, 2012

19

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || Using HyTech to synthesize control parameters for a steam boiler

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 1.15 MB

english, 1996

20

[ACM Press the 2003 ACM symposium - Melbourne, Florida (2003.03.09-2003.03.12)] Proceedings of the 2003 ACM symposium on Applied computing - SAC '03 - Modeling the meaning of transitions from and to concurrent states in UML state machines

Börger, Egon, Cavarra, Alessandra, Riccobene, Elvinia

Year:

2003

Language:

english

File:

PDF, 700 KB

english, 2003

21

[Lecture Notes in Mathematics] Computation and Proof Theory Volume 1104 || Contiguous R.E. Degrees

Börger, Egon, Oberschelp, Walter, Richter, Michael M., Schinzel, Brigitta, Thomas, Wolfgang

Year:

1984

Language:

english

File:

PDF, 1.44 MB

english, 1984

22

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || A cut-elimination procedure designed for evaluating proofs as programs

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 566 KB

english, 1992

23

[Lecture Notes in Computer Science] CSL '88 Volume 385 || Using finite-linear temporal logic for specifying database dynamics

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1989

Language:

english

File:

PDF, 703 KB

english, 1989

24

[Lecture Notes in Mathematics] Computation and Proof Theory Volume 1104 || Abstract recursion as a foundation for the theory of algorithms

Börger, Egon, Oberschelp, Walter, Richter, Michael M., Schinzel, Brigitta, Thomas, Wolfgang

Year:

1984

Language:

english

File:

PDF, 2.89 MB

english, 1984

25

[Lecture Notes in Computer Science] CSL '88 Volume 385 || Is average superlinear speedup possible?

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1989

Language:

english

File:

PDF, 517 KB

english, 1989

26

[Lecture Notes in Mathematics] Computation and Proof Theory Volume 1104 || On faithful interpretability

Börger, Egon, Oberschelp, Walter, Richter, Michael M., Schinzel, Brigitta, Thomas, Wolfgang

Year:

1984

Language:

english

File:

PDF, 568 KB

english, 1984

27

Initialization problems for Java

Egon Börger, Wolfram Schulte

Journal:

Software - Concepts & Tools

Year:

2000

Language:

english

File:

PDF, 139 KB

english, 2000

28

Ultrastructural calcium distribution and myocardial calcium content in human idiopathic dilated cardiomyopathy

Hans G. Olbrich, Hans Michaelis, Godelieve Vandeplassche, Marcel Borgers, Gerhard Oremek, Egon Krause, Peter Satter, Gisbert Kober, Ernst Mutschler, Martin Kaltenbach

Journal:

Cardiovascular Pathology

Year:

1993

Language:

english

File:

PDF, 6.27 MB

english, 1993

29

The reachability problem for Petri nets and decision problems for Skolem arithmetic

Egon Börger, Hans Kleine Büning

Journal:

Theoretical Computer Science

Year:

1980

Language:

english

File:

PDF, 2.41 MB

english, 1980

30

Subject-Oriented Business Process Management || Modeling Processes in a Subject-Oriented Way

Fleischmann, Albert, Schmidt, Werner, Stary, Christian, Obermeier, Stefan, Börger, Egon

Year:

2012

Language:

english

File:

PDF, 5.64 MB

english, 2012

31

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Control of ω-automata, Church's problem, and the emptiness problem for tree ω-automata

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 889 KB

english, 1992

32

On formalizing UML state machines using ASMs

Egon Börger, Alessandra Cavarra, Elvinia Riccobene

Journal:

Information and Software Technology

Year:

2004

Language:

english

File:

PDF, 114 KB

english, 2004

33

The R. E. Complexity of Decision Problems for Commutative Semi-Thue Systems With Recursive Rule Set

Egon Börger, Hans Kleine Büning

Journal:

Mathematical Logic Quarterly

Year:

1980

Language:

english

File:

PDF, 684 KB

english, 1980

34

Beitrag zur Reduktion des Entscheidungsproblems auf Klassen von Hornformeln mit kurzen Alternationen

Journal:

Archive for Mathematical Logic

Year:

1974

Language:

german

File:

PDF, 1.20 MB

german, 1974

35

Bemerkung zu Gurevich's Arbeit über das Entscheidungsproblem für Standardklassen

Journal:

Archive for Mathematical Logic

Year:

1978

Language:

german

File:

PDF, 208 KB

german, 1978

36

Diem-Grade Logischer Entscheidungsprobleme

Egon Börger, Klaus Heidler

Journal:

Archive for Mathematical Logic

Year:

1975

Language:

german

File:

PDF, 458 KB

german, 1975

37

The ASM Refinement Method

Journal:

Formal Aspects of Computing

Year:

2003

Language:

english

File:

PDF, 225 KB

english, 2003

38

[Lecture Notes in Computer Science] Formal Methods for Industrial Applications Volume 1165 || The steam boiler case study: Competition of formal program specification and development methods

Abrial, Jean-Raymond, Börger, Egon, Langmaack, Hans

Year:

1996

Language:

english

File:

PDF, 808 KB

english, 1996

39

Modeling web applications infrastructure with ASMs

Gervasi, Vincenzo, Börger, Egon, Cisternino, Antonio

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.00 MB

english, 2014

40

Conservative reduction classes of Krom formulas

Aanderaa, Stål O., Börger, Egon, Lewis, Harry R.

Journal:

Journal of Symbolic Logic

Year:

1982

Language:

english

File:

PDF, 1.27 MB

english, 1982

41

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Plausibility logic

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 776 KB

english, 1992

42

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Minimal from classical proofs

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 137 KB

english, 1992

43

[Lecture Notes in Computer Science] CSL '88 Volume 385 || Enforcement of integrity constraints in a semantic data model

Börger, Egon, Büning, Hans Kleine, Richter, Michael M.

Year:

1989

Language:

english

File:

PDF, 857 KB

english, 1989

44

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Quantifier hierarchies over word relations

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 546 KB

english, 1992

45

[Lecture Notes in Computer Science] Computer Science Logic Volume 626 || Equational specification of abstract types and combinators

Börger, Egon, Jäger, Gerhard, Kleine Büning, Hans, Richter, Michael M.

Year:

1992

Language:

english

File:

PDF, 754 KB

english, 1992

46

Prefix classes of krom formulae with identity

Stal O. Aanderaa, Egon Börger, Yuri Gurevich

Journal:

Archive for Mathematical Logic

Year:

1980

Language:

english

File:

PDF, 347 KB

english, 1980

47

[Lecture Notes in Computer Science] Abstract State Machines, B and Z Volume 5238 || A First Attempt to Express KAOS Refinement Patterns with Event B

Börger, Egon, Butler, Michael, Bowen, Jonathan P., Boca, Paul

Year:

2008

Language:

english

File:

PDF, 57 KB

english, 2008

48

[Lecture Notes in Computer Science] Abstract State Machines, B and Z Volume 5238 || On the Purpose of Event-B Proof Obligations

Börger, Egon, Butler, Michael, Bowen, Jonathan P., Boca, Paul

Year:

2008

Language:

english

File:

PDF, 218 KB

english, 2008

49

[Lecture Notes in Computer Science] Abstract State Machines 2003 Volume 2589 || Experiments with Test Case Generation and Runtime Analysis

Börger, Egon, Gargantini, Angelo, Riccobene, Elvinia

Year:

2003

Language:

english

File:

PDF, 263 KB

english, 2003

50

[Lecture Notes in Computer Science] Computer Science Logic Volume 832 || The complexity of set constraints

Börger, Egon, Gurevich, Yuri, Meinke, Karl

Year:

1994

Language:

english

File:

PDF, 1017 KB

english, 1994

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски